male name Part of the formal logic which studies the deductive structures of the logical implications and its axiomatic relations